Dependability Evaluation and Validation
نویسنده
چکیده
منابع مشابه
Dependability evaluation of networked control systems under transmission faults
The validation of network systems is mandatory to guarantee the dependability levels, that international standard impose in many safety-critical applications. This article presents a framework for the dependability evaluation of a networked control system (NCS) taking into account the network behaviour when transition faults occurs. CAN-based systems are studied and a proposed method is describ...
متن کاملTransformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems
We propose a modeling and an evaluation technique for the validation of the dependability of distributed systems such as networked embedded systems that consist of autonomous loosely coupled nodes. The approach is based on the Guarded Statecharts and on a transformation of them to models amenable to a quantitative evaluation, in particular, to Generalized Stochastic Petri Nets. It permits to co...
متن کاملHenrique Madeira (University of Coimbra)
The goal of dependability benchmarking is to provide generic ways for characterizing the behaviour of components and computer systems in the presence of faults, allowing for the quantification of dependability measures. Beyond existing evaluation techniques, dependability benchmarking must provide a reproducible and cost-effective way of performing such a characterization, especially for compar...
متن کاملDependability analysis in the early phases of UML-based system design
Computer controlled systems are used in many application fields, with different levels of criticality requirements. A common characteristic of such systems is the increasing complexity in internal structure (redundancy, layering of functionality) and operational issues (performance constraints, criticality of the controlled applications, etc.). The increasing need for effective design has contr...
متن کاملSafety, Dependability and Performance Analysis of Aerospace Systems
The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labour-intensive as they rely on manual analysis, review and inspection. In this paper we give an overview of an integrated system-software co-engineering approach focusing on a coherent set o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999